首页> 外文OA文献 >An empirical evaluation of automated theorem provers in software certification

【2h】

An empirical evaluation of automated theorem provers in software certification

机译：软件认证中自动定理证明的实证评价

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ewen Denney; Bernd Fischer; Johann Schumann;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION [J] . EWEN DENNEY, BERND FISCHER, JOHANN SCHUMANN International Journal of Artificial Intelligence Tools: Architectures, Languages, Algorithms . 2006,第1期

机译：软件认证中自动定理证明的实证评估
2. Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification [J] . Matt Kaufmann, J Strother Moore Revista de la Real Academia de Ciencias. A, Matematicas . 2004,第1a2期

机译：硬件和软件验证的自动定理证明中的一些关键研究问题
3. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
4. Result Certification of Static Program Analysers with Automated Theorem Provers [C] . Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas Jensen Conference on Verified Software : Theories, Tools, Experiments . 2014

机译：静态程序分析仪的结果认证，自动定理普罗瓦
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. Software Defect Prediction for Healthcare Big Data: An Empirical Evaluation of Machine Learning Techniques [O] . Bilal Khan, Rashid Naseem, Muhammad Arif Shah, 2021

机译：医疗保健大数据的软件缺陷预测：机器学习技术的实证评价
7. An Empirical Evaluation of Automated Theorem Provers in Software Certification [O] . Denney Ewen, Fischer Bernd, Schumann Johann 2006

机译：软件认证中自动定理证明的实证评价
8. An Empirical Evaluation of Automated Theorem Provers in Software Certification [R] . Denney, Ewen, Fischer, Bernd, Schumann, Johann 2004

机译：软件认证中自动定理证明的实证评价

An empirical evaluation of automated theorem provers in software certification

著录项

引文网络

相似文献

相关主题

期刊订阅